- negationless mathematics
- логикаматематика без отрицания
English-Russian scientific dictionary. 2008.
English-Russian scientific dictionary. 2008.
Constructivism (mathematics) — In the philosophy of mathematics, constructivism asserts that it is necessary to find (or construct ) a mathematical object to prove that it exists. When one assumes that an object does not exist and derives a contradiction from that assumption,… … Wikipedia
Nels David Nelson — (Nels) David Nelson, an American mathematician and logician, was born on January 2, 1918 in Cape Girardeau, Missouri. Upon graduation from the Ph.D. program at the University of Wisconsin Madison, Nelson relocated to Washington, D.C. Nelson… … Wikipedia
Logic gate — A logic gate is an idealized or physical device implementing a Boolean function, that is, it performs a logical operation on one or more logic inputs and produces a single logic output. Depending on the context, the term may refer to an ideal… … Wikipedia